Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic)
by Andrzej Indrzejczak
ISBN 13: 9789048187843
Format: Hardcover (514 pages) Publisher: Springer Published: 11 Jun 2010
Save for later
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
ISBN 13: 9783030571474
Format: Paperback (361 pages) Publisher: Birkhäuser Published: 18 Dec 2021